ES03: improve doc comments
